.workspace {
    position: relative;
    height: 100%;
    display: flex;
    flex-direction: column;
}

.workspace-header {
    background-color: #404040;
}

.workspace-editor {
    margin-top: 10px;
}

.workspace-logs, .workspace-error {
    background-color: #222;
    padding: 0 8px;
    line-height: 28px;
}

.workspace-table {
    flex: 1;
    width: 100%;
}

.workspace-error {
    background-color: $error-color;
}
